From 4633877d5b8f60b71192bb074fd0c272e9bfd02a Mon Sep 17 00:00:00 2001 From: Ximin Luo Date: Thu, 24 Aug 2017 17:55:36 +0200 Subject: [PATCH] Build the docs --- debian/rules | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/rules b/debian/rules index c94f8e84e..5652b3032 100755 --- a/debian/rules +++ b/debian/rules @@ -54,6 +54,9 @@ override_dh_auto_build-arch: override_dh_auto_build-indep: ifeq (,$(findstring nodoc,$(DEB_BUILD_PROFILES))) $(CARGO) doc $(CARGOFLAGS) + # Extra instructions from README.md, unfortunately not done by "cargo doc" + sh src/ci/dox.sh + # Post-processing for Debian cd target/doc/ && rm -f jquery.js && ln -s /usr/share/javascript/jquery/jquery.js endif -- 2.30.2